École Polytechnique

Results: 1336



#Item
101

Foundational proof certificates in first-order logic Zakaria Chihani, Dale Miller, and Fabien Renaud INRIA and LIX, Ecole Polytechnique, Palaiseau, France Abstract. It is the exception that provers share and trust each o

Add to Reading List

Source URL: www.lix.polytechnique.fr

- Date: 2013-05-22 10:58:51
    102

    Flow-noise en temps réel Aymeric Augustin Soutenance de stage d’option scientifique Ecole polytechnique - lundi 3 juillet

    Add to Reading List

    Source URL: www-evasion.imag.fr

    - Date: 2006-07-01 13:44:39
      103

      A focused framework for emulating modal proof systems Sonia Marin, Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France

      Add to Reading List

      Source URL: www.lix.polytechnique.fr

      - Date: 2016-06-12 16:01:25
        104

        Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating pos

        Add to Reading List

        Source URL: www.lix.polytechnique.fr

        - Date: 2015-10-19 12:38:16
          105

          Formal Verification of Cryptography (I) -- Introduction to basic concepts in cryptography Yusuke Kawamoto INRIA Saclay & LIX, École Polytechnique, France In University of Tokyo

          Add to Reading List

          Source URL: www.cs.bham.ac.uk

          - Date: 2014-05-18 16:48:57
            106

            A Semantics for Proof Evidence Zakaria Chihani, Dale Miller, and Fabien Renaud INRIA and LIX, Ecole Polytechnique, Palaiseau, France October 1, 2013 Theorem provers are generally complex systems that search for proofs us

            Add to Reading List

            Source URL: www.lix.polytechnique.fr

            - Date: 2013-11-07 01:57:36
              107

              Towards Complete Reasoning about Axiomatic Specifications Swen Jacobs and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland

              Add to Reading List

              Source URL: www.swenjacobs.com

              - Date: 2013-01-31 09:32:49
                108

                Introduction à la science informatique pour l’étude des systèmes dynamiques Loïc Paulevé École Polytechnique / LIX (équipe AMIB)

                Add to Reading List

                Source URL: loicpauleve.name

                - Date: 2014-05-28 09:53:18
                  109

                  Foundational Proof Certificates Dale Miller ´ INRIA-Saclay and LIX/Ecole Polytechnique

                  Add to Reading List

                  Source URL: www.lix.polytechnique.fr

                  - Date: 2014-12-22 08:38:15
                    UPDATE